Espressione ground

In logica matematica, un'espressione ground di un sistema formale è tale per cui i suoi termini non contengono variabili.

Ad esempio, nel contesto della logica del primo ordine, la formula ${\displaystyle Q(a)\lor P(b)}$, con ${\displaystyle a}$ e ${\displaystyle b}$ appartenenti all'alfabeto delle costanti, è detta formula ground.